rule of detachment

[ru:l ɔv diˈtætʃmənt]
  • 释义

    分离规则;

数据更新时间:2026-08-25 15:32:35
1、

And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.

证明:由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。

互联网摘选

2、

The basic logical law of the argumentation of thinking is the law of sufficient reason. The law of sufficient reason is the first basic law of the logical thinking, and it's formal theorem is MP rule ( i.e.the rule of detachment).

反映思维论证性的逻辑基本规律是充足理由律,而且充足理由律是逻辑思维的第一位的基本规律,其形式语言表达式(形式定理)是MP规则(即分离规则)

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索

瑞鸿网英语词典(dict.ruihongw.com)为您提供在线翻译、英语词典、单词大全、英译汉、汉译英等英语服务!可按单词头尾、字数和词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈